Optimization by quantum annealing: Lessons from hard satisfiability problems
نویسندگان
چکیده
منابع مشابه
Optimization by quantum annealing: lessons from hard satisfiability problems.
The path integral Monte Carlo simulated quantum annealing algorithm is applied to the optimization of a large hard instance of the random satisfiability problem (N = 10,000). The dynamical behavior of the quantum and the classical annealing are compared, showing important qualitative differences in the way of exploring the complex energy landscape of the combinatorial optimization problem. At v...
متن کاملSimulated annealing for hard satisfiability problems
Satisfiability (SAT) refers to the task of finding a truth assignment that makes an arbitrary boolean expression true. This paper compares a simulated annealing algorithm (SASAT) with GSAT (Selman et al., 1992), a greedy algorithm for solving satisfiability problems. GSAT can solve problem instances that are extremely difficult for traditional satisfiability algorithms. Results suggest that SAS...
متن کاملStudy of Optimization Problems by Quantum Annealing
We introduce quantum fluctuations into the simulated annealing process of optimization problems, aiming at faster convergence to the optimal state. Quantum fluctuations cause transitions between states and thus play the same role as thermal fluctuations in the conventional approach. The idea is tested by the two models, the transverse Ising model and the traveling salesman problem. Adding the t...
متن کاملGenerating Hard Satisfiability Problems
We report results from large-scale experiments in satisfiability testing. As has been observed by others, testing the satisfiability of random formulas often appears surprisingly easy. Here we show that by using the right distribution of instances, and appropriate parameter values, it is possible to generate random formulas that are hard, that is, for which satisfiability testing is quite diffi...
متن کاملBiased random satisfiability problems: from easy to hard instances.
In this paper we study biased random K -satisfiability ( K -SAT) problems in which each logical variable is negated with probability p . This generalization provides us a crossover from easy to hard problems and would help us in a better understanding of the typical complexity of random K -SAT problems. The exact solution of 1-SAT case is given. The critical point of K -SAT problems and results...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review E
سال: 2005
ISSN: 1539-3755,1550-2376
DOI: 10.1103/physreve.71.066707